TSTP Solution File: PUZ106^5 by SInE---0.4